/**
 * \file lib/system/hw.h
 * \author Davide Gessa
 * \date 10-16-09
 */
#ifndef HW_H
#define HW_H

#include <libc/ctype.h>
#include "regs.h"
#include "syscall.h"

void hw_handler_reg(uint8_t, void (*)(regs_t *r));
void hw_handler_unreg(uint8_t);
void hw_debug_out(char);
void hw_shutdown();

#endif
